User Requirements Notation: The First Ten Years, The Next Ten Years (Invited Paper)

REGULAR PAPERS User Requirements Notation: The First Ten Years, The Next Ten Years (Invited Paper) Daniel Amyot and Gunter Mussbacher Stochastic Process Algebra with Value-Passing and Weak Time Restrictions Guang Zheng, Jinzhao Wu, and Aiping Lu Study on Visual Knowledge Structure Reasoning Huimin Lu, Liang Hu, and Gang Liu An Automated X-corner Detection Algorithm (AXDA) Fuqing Zhao, Chunmiao Wei, Jizhe Wang, and Jianxin Tang Research on Dynamic Rescheduling Program Base On Improved Contract Net Protocol Fuqing Zhao, Jizhe Wang, and Jianxin Tang Multilevel Network Security Monitoring and Evaluation Model Jin Yang, Tang Liu, Lingxi Peng, XueJun Li, and Gang Luo Research on Family and Shops Real-time Status of 3G Wireless Remote Monitoring System Qian Zhao Sliding Mode Control of Surface-Mount Permanent-Magnet Synchronous Motor Based on Error Model with Unknown Load Bao-jun Wang and Jia-jun Wang Information Fusion Based Fault Location Technology for Distribution Network Qingle Pang Study on Remote Aided Diagnosis System of Mental Health Base on Export Knowledge Base Xiaoyong Wang and Yuefeng Fang Application of Fault Phenomenon Vector Distance Discriminance in Woodworking Machinery System Fault Diagnosis Yun-Jie Xu, Shu-Dong Xiu, Quan-Sheng Men, and Liang Fang A Novel Gray Image Watermarking Scheme Yongqiang Chen, Yanqing Zhang, Hanping Hu, and Hefei Ling An Efficient Method for Improving Query Efficiency in Data Warehouse Zhiwei Ni, Junfeng Guo, Li Wang, and Yazhuo Gao Co-simulation Study of Vehicle ESP System Based on ADAMS and MATLAB Shengqin Li and Le He 747